DJ: A Java-based Constraint Language and System
نویسندگان
چکیده
DJ (Declarative Java) is an extension of Java that supports constraint programming. With DJ, users do not need to learn the complicated class hierarchy of the AWT package or Java's layout managers. To construct a GUI, users only need to specify the components that compose the GUI and the relationship among the components by using constraints. As a constraint language, DJ can be used not only to solve Constraint Satisfaction Problems (CSPs) but also to specify how solutions are displayed graphically. DJ is a compiling language that uses Java as the object language. Because of this, solutions of CSPs can be disseminated on the Internet easily.
منابع مشابه
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, collaborations and games. Our framework integrates three components based on (concurrent) constraint programming ideas: (1) Hybrid cc, a (concurrent) constraint modeling language for hybrid systems, (2) Sisl, a (discrete) timed c...
متن کاملjmle: A Tool for Executing JML Specifications Via Constraint Programming
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Language (JML) by translating them to constraint programs, which are then executed via the Java Constraint Kit (JCK). Our system can execute specifications written at a high level of abstraction, and the generated constr...
متن کاملPolymorphic Constraint-Based Type Inference for Objects
Constraint-based type inference infers types with subtyping constraints. Such types can capture detailed data and control flow information about the analyzed program. In the presence of polymorphism, existing constraint-based type inference algorithms sacrifice much precision for efficiency. This paper presents both theoretical and practical results on developing precise and efficient polymorph...
متن کاملConstraint Programming in Java with JSolver
This paper describes our progress in designing and developing a Java constraint programming class library called JSolver2. JSolver extends the object-oriented programming paradigm of Java with constraint-based declarative programming. Other constraint-based Java tools act as pre-processors to Java. JSolver, on the other hand, is implemented as a set of pure Java classes and allows direct develo...
متن کاملTranslating Formal Software Specifications to Natural Language A Grammar-Based Approach
We describe a system for automatically translating formal software specifications to natural language. The system produces natural language which is acceptable to a human reader, and it supports byhand optimization by users who are not experts of our system. The translation system is implemented using the Grammatical Framework, a grammar formalism based on Martin-Löf’s type theory. We show that...
متن کامل